Dependently typed programming - PDFSEARCH.IO - Document Search Engine

Dependently typed programming
Results: 102

#	Item
31	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
32	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
33	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
34	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
35	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
36	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
37	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
38	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory
39	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
40	The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys  Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Data types Program analysis Type system Software engineering Logic in computer science Dependently typed programming Type theory Programming language theory Theoretical computer science